Value-based argumentation framework built from prioritized qualitative choice logic
نویسندگان
چکیده
منابع مشابه
Preference-Based Argumentation Handling Dynamic Preferences Built on Prioritized Logic Programming
To treat dynamic preferences correctly is crucially required in the fields of argumentation as well as nonmonotonic reasoning. To meet such requirements, first, we propose a hierarchical Prioritized Logic Program (or a hierarchical PLP, for short), which enhances the formalism of Sakama and Inoue’s PLP so that it can represent and reason about dynamic preferences. Second, using such a hierarchi...
متن کاملA Conditional Logic-Based Argumentation Framework
The goal of this paper is twofold. First, a logic-based argumentation framework is introduced in the context of conditional logic, as conditional logic is often regarded as an appealing setting for knowledge representation and reasoning. Second, a concept of conditional contrariety is defined that covers usual inconsistency-based conflicts and puts in light a specific form of conflicts that oft...
متن کاملQualitative Choice Logic
Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked options for problem solutions. The logic adds to classical propositional logic a new connective called ordered disjunction: A × B intuitively means: if possible A, but if A is not possible then at least B. The semantics of qualitative choice logic is based on a preference relation among models. Conseque...
متن کاملAn Argumentation Based Framework for Defeasible and Qualitative Reasoning
Multiagent settings are usually characterized by numerous goals, diverse opinions and conflicts of interest. In order to reach understanding and achieve cooperation, agents need a means of expressing their individual arguments which may contain explanations, justifications or any other kind of information. Furthermore, existing information may usually be incomplete, inconsistent and expressed i...
متن کاملComplexity of logic-based argumentation in Post's framework
Complexity of logic-based argumentation in Post's framework Nadia Creignou a , Johannes Schmidt a , Michael Thomas b & Stefan Woltran c a LIF, UMR CNRS 6166, Aix-Marseille Université, 163 Avenue de Luminy, 13288, Marseille Cedex 9, France b TWT GmbH, Bernhäuser Straße 40–42, 73765, Neuhausen a.d.F., Germany c Institut für Informationssysteme E184/2, Technische Universität Wien, Favoritenstr. 9–...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2015
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2015.07.001